Self-Learned Formula Synthesis in Set Theory
Artificial Intelligence
2019-12-04 v1 Logic in Computer Science
Abstract
A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.
Cite
@article{arxiv.1912.01525,
title = {Self-Learned Formula Synthesis in Set Theory},
author = {Chad E. Brown and Thibault Gauthier},
journal= {arXiv preprint arXiv:1912.01525},
year = {2019}
}
Related papers
View all related →
Machine Learning · Computer Science
Rethinking Reinforcement Learning based Logic Synthesis
Chao Wang, Chen Chen, Dong Li, Bin Wang
2022-06-28
Machine Learning · Computer Science
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
Rudy Bunel, Matthew Hausknecht, Jacob Devlin, Rishabh Singh +1
2018-05-23
Machine Learning · Computer Science
Learning To Simulate
Nataniel Ruiz, Samuel Schulter, Manmohan Chandraker
2019-05-15
Trading and Market Microstructure · Quantitative Finance
Reinforcement Learning: Prediction, Control and Value Function Approximation
Haoqian Li, Thomas Lau
2019-08-29
Logic in Computer Science · Computer Science
Learning to Prove Theorems by Learning to Generate Theorems
Mingzhe Wang, Jia Deng
2020-11-02
Machine Learning · Computer Science
Reinforcement Teaching
Calarina Muslimani, Alex Lewandowski, Dale Schuurmans, Matthew E. Taylor +1
2025-01-28
Artificial Intelligence · Computer Science
Program Synthesis Through Reinforcement Learning Guided Tree Search
Riley Simmons-Edler, Anders Miltner, Sebastian Seung
2018-06-11
Machine Learning · Computer Science
Safe Policy Improvement in Constrained Markov Decision Processes
Luigi Berducci, Radu Grosu
2022-10-21
Machine Learning · Computer Science
Automatic Goal Generation for Reinforcement Learning Agents
Carlos Florensa, David Held, Xinyang Geng, Pieter Abbeel
2018-07-24
Artificial Intelligence · Computer Science
Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks
C. Drummond
2011-06-10
Artificial Intelligence · Computer Science
Empirically Verifying Hypotheses Using Reinforcement Learning
Kenneth Marino, Rob Fergus, Arthur Szlam, Abhinav Gupta
2020-06-30
Computation and Language · Computer Science
Learning How to Self-Learn: Enhancing Self-Training Using Neural Reinforcement Learning
Chenhua Chen, Yue Zhang
2018-04-17
Machine Learning · Computer Science
Reinforcement Learning with Generative Models for Compact Support Sets
Nico Schiavone, Xingyu Li
2024-04-26
Machine Learning · Computer Science
A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis
Joseph Palermo, Johnny Ye, Alok Singh
2021-07-19
Machine Learning · Computer Science
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics
Christos Verginis, Cevahir Koprulu, Sandeep Chinchali, Ufuk Topcu
2023-02-07
Theoretical Economics · Economics
Reinforcement Learning in Economics and Finance
Arthur Charpentier, Romuald Elie, Carl Remlinger
2020-03-24
Logic in Computer Science · Computer Science
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema
Isabela Drămnesc, Tudor Jebelean
2019-09-05
Computational Engineering, Finance, and Science · Computer Science
Automated Synthesis of Steady-State Continuous Processes using Reinforcement Learning
Quirin Göttl, Dominik G. Grimm, Jakob Burger
2021-03-16
Computation and Language · Computer Science
Learning to Compose Words into Sentences with Reinforcement Learning
Dani Yogatama, Phil Blunsom, Chris Dyer, Edward Grefenstette +1
2016-11-29
Programming Languages · Computer Science
Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules
Rohit Singh, Armando Solar-Lezama
2016-02-24
Logic in Computer Science · Computer Science
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening +2
2019-09-13
Computation and Language · Computer Science
Paraphrase Generation with Deep Reinforcement Learning
Zichao Li, Xin Jiang, Lifeng Shang, Hang Li
2018-08-24
Machine Learning · Computer Science
A Composable Specification Language for Reinforcement Learning Tasks
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
2020-10-30
Machine Learning · Computer Science
Reinforcement Learning for Combinatorial Optimization: A Survey
Nina Mazyavkina, Sergey Sviridov, Sergei Ivanov, Evgeny Burnaev
2020-12-25
Artificial Intelligence · Computer Science
Introduction to Reinforcement Learning
Majid Ghasemi, Dariush Ebrahimi
2024-12-04