An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Conference paper
Publications
44 results at IJCAI 2023
A Rigorous Risk-aware Linear Approach to Extended Markov Ratio Decision Processes with Embedded Learning
- 2023
- IJCAI 2023
Conference paperNeuro-Symbolic Learning of Answer Set Programs from Raw Data
- Daniel Cunnington
- Mark Law
- et al.
- 2023
- IJCAI 2023
Conference paperConvergence of Multi-Issue Iterative Voting under Uncertainty
- Joshua Kavner
- Reshef Meir
- et al.
- 2023
- IJCAI 2023
Conference paperLearning to Design Fair and Private Voting Rules (Extended Abstract)
- Farhad Mohsin
- Ao Liu
- et al.
- 2023
- IJCAI 2023
TalkTRAD: Task-agnostic Representation of the Activation Space in Deep Neural Networks
- Tanya Leah Akumu
- Celia Cintas
- et al.
- 2023
- IJCAI 2023
PosterSiWare: Contextual Understanding of Industrial Data for Situational Awareness
- Anuradha Bhamidipaty
- Elham Khabiri
- et al.
- 2023
- IJCAI 2023
Demo paperPlansformer Tool: Demonstrating Generation of Symbolic Plans Using Transformers
- Vishal Pallagani
- Bharath Muppasani
- et al.
- 2023
- IJCAI 2023
Demo paperSupervisorBot: NLP-Annotated Real-Time Recommendations of Psychotherapy Treatment Strategies with Deep Reinforcement Learning
- Baihan Lin
- Guillermo Cecchi
- et al.
- 2023
- IJCAI 2023
Demo paperSemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code
- Ibrahim Abdelaziz
- Julian Dolby
- et al.
- 2023
- IJCAI 2023
Demo paper