p7cs.LO

cs.LO

39 papers

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar

2306.15626

Mathematical Foundations for a Compositional Distributional Model of Meaning

Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark

1003.4394

Autoformalization with Large Language Models

Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

2205.12615

End-to-End Differentiable Proving

Tim Rocktäschel, Sebastian Riedel

1705.11040

Llemma: An Open Language Model For Mathematics

Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck

2310.10631

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer

1702.01135

Maximum Resilience of Artificial Neural Networks

Chih-Hong Cheng, Georg Nührenberg, Harald Ruess

1705.01040

An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space

John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak

1703.01296

Succinct progress measures for solving parity games

Marcin Jurdzinski, Ranko Lazic

1702.05051

Abstract structure of unitary oracles for quantum algorithms

William Zeng, Jamie Vicary

1406.1278

Premise Selection for Theorem Proving by Deep Graph Embedding

Mingzhe Wang, Yihe Tang, Jian Wang, Jia Deng

1709.09994

Differentiable Reasoning on Large Knowledge Bases and Natural Language

Pasquale Minervini, Matko Bošnjak, Tim Rocktäschel, Sebastian Riedel, Edward Grefenstette

1912.10824

Tighter Bounds on the Expressivity of Transformer Encoders

David Chiang, Peter Cholak, Anand Pillay

2301.10743

Formal Security Analysis of Neural Networks using Symbolic Intervals

Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

1804.10829

Reachability Switching Games

John Fearnley, Martin Gairing, Matthias Mnich, Rahul Savani

1709.08991

Learning to Prove Theorems via Interacting with Proof Assistants

Kaiyu Yang, Jia Deng

1905.09381

ENIGMA: Efficient Learning-based Inference Guiding Machine

Jan Jakubův, Josef Urban

1701.06532

Deep Network Guided Proof Search

Sarah Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk

1701.06972

Complex Query Answering with Neural Link Predictors

Erik Arakelyan, Daniel Daza, Pasquale Minervini, Michael Cochez

2011.03459

Integer factoring and modular square roots

Emil Jeřábek

1207.5220

Introduction to Categories and Categorical Logic

Samson Abramsky, Nikos Tzevelekos

1102.1313

Learning a SAT Solver from Single-Bit Supervision

Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill

1802.03685

Interacting Quantum Observables: Categorical Algebra and Diagrammatics

Bob Coecke, Ross Duncan

0906.4725

DeepMath - Deep Sequence Models for Premise Selection

Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban

1606.04442

Proof Artifact Co-training for Theorem Proving with Language Models

Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

2102.06203

Church: a language for generative models

Noah Goodman, Vikash Mansinghka, Daniel M. Roy, Keith Bonawitz, Joshua B. Tenenbaum

1206.3255

Reinforcement Learning of Theorem Proving

Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Mirek Olšák

1805.07563

Analyzing Differentiable Fuzzy Implications

Emile van Krieken, Erman Acar, Frank van Harmelen

2006.03472

BliStrTune: Hierarchical Invention of Theorem Proving Strategies

Jan Jakubuv, Josef Urban

1611.08733

Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

Ruediger Ehlers

1705.01320

Quantitative Verification of Neural Networks And its Security Applications

Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena

1906.10395

Efficient Formal Safety Analysis of Neural Networks

Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

1809.08098

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli

2102.09756

Semi-Supervised Learning using Differentiable Reasoning

Emile van Krieken, Erman Acar, Frank van Harmelen

1908.04700

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

Yuhuai Wu, Markus Rabe, Wenda Li, Jimmy Ba, Roger Grosse, Christian Szegedy

2101.06223

Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories

Samson Abramsky

0910.2931

Abstract Physical Traces

Samson Abramsky, Bob Coecke

0910.3144

Environment and classical channels in categorical quantum mechanics

Bob Coecke, Simon Perdrix

1004.1598

HOL(y)Hammer: Online ATP Service for HOL Light

Cezary Kaliszyk, Josef Urban

1309.4962