Andreas Florath

florath's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in Qwen/Qwen3-Coder-30B-A3B-Instruct 11 days ago

How to achieve reliable native function calling

👍 2

2

#12 opened 17 days ago by

Ithanil

New activity in unsloth/Qwen3-Coder-480B-A35B-Instruct-GGUF 11 days ago

Qwen3-Coder Tool Calling Fixes

🔥 ❤️ 2

2

#10 opened 24 days ago by

danielhanchen

New activity in florath/CoqLLM-FineTuned-Experiment-Gen0 about 1 year ago

Question about dataset and training

1

#1 opened about 1 year ago by

vvvu

updated a model over 1 year ago

florath/CoqLLM-FineTuned-Experiment-Gen0

Text Generation • Updated Mar 31, 2024 • 1 • 2

authored a paper over 1 year ago

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

Paper • 2403.12627 • Published Mar 19, 2024

updated a dataset over 1 year ago

florath/coq-facts-props-proofs-gen0-v1

Viewer • Updated Mar 20, 2024 • 270k • 27 • 7

authored a paper over 1 year ago

LLM Interactive Optimization of Open Source Python Libraries -- Case Studies and Generalization

Paper • 2312.14949 • Published Dec 8, 2023