Marco Valentino

mValentino91

3 1

·

AI & ML interests

None yet

Recent Activity

authored a paper 2 days ago

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

authored a paper 2 days ago

SciR: A Controllable Benchmark for Scientific Reasoning in LLMs

authored a paper 2 days ago

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

View all activity

Organizations

None yet

Papers 14

arxiv:2608.03930

arxiv:2606.13020

arxiv:2604.27251

arxiv:2602.08658

models 0

None public yet

datasets 0

None public yet