florath/coq-facts-props-proofs-gen0-v1
Viewer
•
Updated
•
270k
•
61
•
8
Andreas Florath
florath
AI & ML interests
None yet
Recent Activity
authored
a paper
about 23 hours 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
Organizations
