5 papers
ProofDiff: Auditable Argument-Level Comparison of AI-Generated Mathematical Proofs
Matan Tsafrir, Esdras Medeiros, Jorge Poco +3
Mathematical understanding depends on the route from hypotheses to conclusion: how the parts of a proof function and which dependencies carry the argument forward. This structure c…
Lea: An Agent Backbone for Mathematician-Controlled Formalization in Lean
Shaswat Patel, Daniel Aarao Reis Arturi, Kevin Gomez +6
Agentic systems now formalize research-level mathematics in Lean, but they are built for autonomy: the mathematician states a target and inspects a result. The alternative, a gener…
Comparing Monocular and Multi-View 3D Pedestrian Reconstruction Strategies for Urban Intersection Sensing
Kauan Mariani, Matheus Carvalho, Joel Perca +2
Understanding how pedestrians move and interact at urban intersections is central to traffic-safety assessment, mobility planning, and smart-city sensing. Such analyses rely on phy…
Anatomy-Aware Synthesis of Post-Contrast Breast MRI from Pre-Contrast Images
Zhengbo Zhou, Dooman Arefan, Lin Gu +2
We developed an anatomy-aware deep learning framework to synthesize post-contrast breast MRI from pre-contrast images, emphasizing tumor and background parenchymal enhancement (BPE…
Empirical analysis of binding precedent efficiency in Brazilian Supreme Court via case classification
Raphaël Tinarrage, Henrique Ennes, Lucas Resck +3
Binding precedents (súmulas vinculantes) constitute a juridical instrument unique to the Brazilian legal system and whose objectives include the protection of the Federal Supreme C…