An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural RepresentationsAchille FokoueIbrahim Abdelazizet al.2023IJCAI 2023
Probabilistic Rule Induction from Event Sequences with Logical Summary Markov ModelsDebarun BhattacharjyaOktie Hassanzadehet al.2023IJCAI 2023
A Neuro-Symbolic Approach to Runtime Optimization in Resource Constrained Heterogeneous SystemsChitra SubramanianSarath Swaminathanet al.2023IJCAI 2023
Graphical modeling for dynamic safety hints generalisation for Safe Deep Reinforcement Learning AgentsLamogha ChiazorNgoc Lan Hoanget al.2023IJCAI 2023
Introducing Trial-and-Error Exploration to Avoid Critical Failure for Efficient Reinforcement LearningMinori NaritaDaiki Kimura2023IJCAI 2023
ComplexWorld: A Large Language Model-based Interactive Fiction Learning Environment for Text-based Reinforcement Learning AgentsShreyas BasavatiaShivam Ratnakaret al.2023IJCAI 2023
Neuro-Symbolic Model-based RL with Logical Neural NetworkDon Joven Ravoy AgravanteDaiki Kimuraet al.2023IJCAI 2023