Andreas Florath's picture

3

Andreas Florath

florath

·

florath

AI & ML interests

None yet

Organizations

Papers 2

arxiv:2403.12627

arxiv:2312.14949

models 1

florath/CoqLLM-FineTuned-Experiment-Gen0

Text Generation • Updated Mar 31 • 7 • 1

datasets 1

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

Viewer • Updated Mar 20 • 270k • 55 • 4