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
Action Space Reduction for Planning Domains
- Harsha Kokel
- Junkyu Lee
- et al.
- 2023
- IJCAI 2023
Conference paperForecasting Soil Moisture Using Domain Inspired Temporal Graph Convolution Neural Networks To Guide Sustainable Crop Management
- Muneeza Azmat
- Malvern Madondo
- et al.
- 2023
- IJCAI 2023
Conference paperHierarchical Apprenticeship Learning for Disease Progression Modeling
- Xi Yang
- Ge Gao
- 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
- 2023
- IJCAI 2023
PosterSemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code
- Ibrahim Abdelaziz
- Julian Dolby
- 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 paperSiWare: Contextual Understanding of Industrial Data for Situational Awareness
- Anuradha Bhamidipaty
- Elham Khabiri
- 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 paper