Mathematical Proofs
17 papers with code • 0 benchmarks • 2 datasets
Benchmarks
These leaderboards are used to track progress in Mathematical Proofs
Most implemented papers
Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning method
Machine learning models have been successfully used in many scientific and engineering fields.
Calibration of P-values for calibration and for deviation of a subpopulation from the full population
The author's recent research papers, "Cumulative deviation of a subpopulation from the full population" and "A graphical method of cumulative differences between two subpopulations" (both published in volume 8 of Springer's open-access "Journal of Big Data" during 2021), propose graphical methods and summary statistics, without extensively calibrating formal significance tests.
Formal Development of Safe Automated Driving using Differential Dynamic Logic
The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment.
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding.
Sharpness-Aware Minimization Alone can Improve Adversarial Robustness
In this paper, we explore SAM in the context of adversarial robustness.
GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic Evaluation
We evaluate state-of-the-art NLP systems on GENTLE and find severe degradation for at least some genres in their performance on all tasks, which indicates GENTLE's utility as an evaluation dataset for NLP systems.
A New Approach Towards Autoformalization
This is a challenging task, and especially for higher-level mathematics found in research papers.