Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
Paper • 2605.12524 • Published • 4
Konstantine
Konstantine4096
AI & ML interests
None yet
Recent Activity
submitted a paper 11 days ago
Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism authored a paper 12 days ago
Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism published a model 18 days ago
Konstantine4096/stepwise_eq_sft_model_multitaskOrganizations
None yet
submitted a
paper to Daily Papers 11 days ago
authored a
paper 12 days ago
published a
model 18 days ago
published a
model about 2 months ago
updated a
model 3 months ago
published a
model 3 months ago
published a
model 4 months ago
updated a
model 4 months ago
published a
model 4 months ago
updated a
model 4 months ago
published a
model 5 months ago
published a
model about 1 year ago
updated a
model about 1 year ago
published 3
models about 1 year ago
updated a
model about 1 year ago
published a
model about 1 year ago
updated a
model about 1 year ago
published a
model about 1 year ago