270 citations · 539 across the 38 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021★ 4 cited
Training a First-Order Theorem Prover from Synthetic Data
Vlad Firoiu, Eser Aygun, Ankit Anand +6
A major challenge in applying machine learning to automated theorem proving is the scarcity of training data, which is a key ingredient in training successful deep learning models.…
cs.AI2020★ 1 cited
Weakness Analysis of Cyberspace Configuration Based on Reinforcement Learning
Lei Zhang, Wei Bai, Shize Guo +3
In this work, we present a learning-based approach to analysis cyberspace configuration. Unlike prior methods, our approach has the ability to learn from past experience and improv…