Marco Valentino

mValentino91

3 1

·

AI & ML interests

None yet

Recent Activity

authored a paper 3 days ago

Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility

authored a paper 3 days ago

SciR: A Controllable Benchmark for Scientific Reasoning in LLMs

authored a paper 3 days ago

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning

View all activity

Organizations

None yet

mValentino91 's models

None public yet