Marco Valentino

mValentino91's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 1 day ago

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

Paper • 2608.03930 • Published 6 days ago • 10

authored 14 papers 5 days ago

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

Paper • 2608.03930 • Published 6 days ago • 10

SciR: A Controllable Benchmark for Scientific Reasoning in LLMs

Paper • 2606.13020 • Published Jun 11

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

Paper • 2506.10903 • Published Jun 12, 2025

Compliance versus Sensibility: On the Reasoning Controllability in Large Language Models

Paper • 2604.27251 • Published Apr 29 • 10

Decompose-and-Formalise: Recursively Verifiable Natural Language Inference

Paper • 2601.19605 • Published Jan 27

Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language Models

Paper • 2602.08658 • Published Feb 9 • 13

OpenSIR: Open-Ended Self-Improving Reasoner

Paper • 2511.00602 • Published Nov 1, 2025 • 21

Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision

Paper • 2505.20415 • Published May 26, 2025 • 2

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials

Paper • 2404.04963 • Published Apr 7, 2024

SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data

Paper • 2305.02993 • Published May 4, 2023

A Survey on Explainability in Machine Reading Comprehension

Paper • 2010.00389 • Published Oct 1, 2020

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Paper • 2405.01379 • Published May 2, 2024 • 1

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations

Paper • 2410.22874 • Published Oct 30, 2024

Generating Mathematical Derivations with Large Language Models

Paper • 2307.09998 • Published Jul 19, 2023

upvoted a paper about 2 months ago

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Paper • 2606.12594 • Published Jun 10 • 17

liked a dataset about 2 months ago

sci-reason/scir

Updated Jun 12 • 91 • 1

upvoted a paper 6 months ago

Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language Models

Paper • 2602.08658 • Published Feb 9 • 13

upvoted a paper 9 months ago

OpenSIR: Open-Ended Self-Improving Reasoner

Paper • 2511.00602 • Published Nov 1, 2025 • 21