Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications
Hey, Neurips and ICML. Time to do some scraping of your submissions to find the prevalence of LLM-reviewer instructions!
statmodeling.stat.columbia.eduยท1d
The Future of AI Agent Communication with ACP
towardsdatascience.comยท1d
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.orgยท1h
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.orgยท2d
Loading...Loading more...