Vaishak Belle
- MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
2021/11/02 by Nicholas Hoernle, Hoernle, Nicholas, Rafael Michael Karampatsis +5 · 3 citations
Computer Science · #Machine Learning and Data Classification #Neural Networks and Applications #Domain Adaptation and Few-Shot Learning
- Symbolic Logic meets Machine Learning: A Brief Survey in Infinite\n Domains
2020/06/15 by Vaishak Belle, Belle, Vaishak · 1 citation
Arts and Humanities · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Philosophy and History of Science
- Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
2024/10/29 by Jonathan Feldstein, Feldstein, Jonathan, Paulius Dilkas +5 · 3 citations
Computer Science · #Computability, Logic, AI Algorithms #Evolutionary Algorithms and Applications
- Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships
2024/04/30 by Dagmara Panas, Sharad Seth, Panas, D. +3 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling
- Practical Considerations for Agentic LLM Systems
2024/12/05 by Chris Sypherd, Vaishak Belle, Sypherd, Chris +1 · 2 citations
Computer Science · #Multi-Agent Systems and Negotiation #Mobile Agent-Based Network Management
- Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
2024/05/03 by Miguel Angel Mendez-Lucero, Mendez-Lucero, Miguel Angel, Enrique Bojorquez Gallardo +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Information Theory (cs.IT) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Semantic Web and Ontologies #Topic Modeling