From the 1 of 1.7k papers with an AI index.
24.4k citations
- University of California, BerkeleyUS97 papers
- Stanford UniversityUS81 papers
- Massachusetts Institute of TechnologyUS75 papers
- Google DeepMind (United Kingdom)GB60 papers
- Carnegie Mellon UniversityUS55 papers
- University of TorontoCA54 papers
- Princeton UniversityUS51 papers
- Cornell UniversityUS49 papers
- University of Illinois Urbana-ChampaignUS41 papers
- Columbia UniversityUS35 papers
- University of WashingtonUS35 papers
- University of California, Santa BarbaraUS34 papers
10 papers · 2 filters
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
Xujie Si, Yujia Li, Vinod Nair +1
We propose prioritized unit propagation with periodic resetting, which is a simple but surprisingly effective algorithm for solving random SAT instances that are meant to be hard.…
Abstract Reasoning with Distracting Features
Kecheng Zheng, Zheng-jun Zha, Wei Wei
Abstraction reasoning is a long-standing challenge in artificial intelligence. Recent studies suggest that many of the deep architectures that have triumphed over other domains fai…
How does the Mind store Information?
Rina Panigrahy
How we store information in our mind has been a major intriguing open question. We approach this question not from a physiological standpoint as to how information is physically st…
Training an Interactive Helper
Mark Woodward, Chelsea Finn, Karol Hausman
Developing agents that can quickly adapt their behavior to new tasks remains a challenge. Meta-learning has been applied to this problem, but previous methods require either specif…
Modeling AGI Safety Frameworks with Causal Influence Diagrams
Tom Everitt, Ramana Kumar, Victoria Krakovna +1
Proposals for safe AGI systems are typically made at the level of frameworks, specifying how the components of the proposed system should be trained and interact with each other. I…
Search on the Replay Buffer: Bridging Planning and Reinforcement Learning
Benjamin Eysenbach, Ruslan Salakhutdinov, Sergey Levine
The history of learning for control has been an exciting back and forth between two broad classes of algorithms: planning and reinforcement learning. Planning algorithms effectivel…