Jacques Fleuriot
- Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
2021/12/11 by Mark Chevallier, Chevallier, Mark, Jacques Fleuriot +1 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC) #Reinforcement Learning in Robotics
- Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs
2023/07/17 by Lauren Nicole DeLong, Ramon Fernández Mir, DeLong, Lauren Nicole +7 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Bioinformatics and Genomic Networks #Biomedical Text Mining and Ontologies #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)