Andreas Florath's picture

5

Andreas Florath

florath

·

florath

AI & ML interests

None yet

Recent Activity

authored a paper 4 days ago

Aletheia-Probe: A Tool for Automated Journal Assessment

new activity 6 months ago

Qwen/Qwen3-Coder-30B-A3B-Instruct:How to achieve reliable native function calling

new activity 6 months ago

unsloth/Qwen3-Coder-480B-A35B-Instruct-GGUF:Qwen3-Coder Tool Calling Fixes

View all activity

Organizations

authored a paper 4 days ago

Aletheia-Probe: A Tool for Automated Journal Assessment

Paper • 2601.10431 • Published 26 days ago

authored 2 papers almost 2 years ago

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

Paper • 2403.12627 • Published Mar 19, 2024

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

Paper • 2312.14949 • Published Dec 8, 2023