Sophie Tourret

J-GLOBAL         Last updated: Oct 19, 2017 at 22:46
 
Avatar
Name
Sophie Tourret
Affiliation
National Institute of Informatics
Section
Principles of Informatics

Profile

I was a post-doc researcher at the Inoue laboratory of NII for a year and a half (2016-2017). I had two main research subjects during that time: extraction of logic rules from neural networks for LFIT and GPU-based parallel SAT solving.

I am now a member of the Automation of Logic group at the Max Planck Institute for Informatics. My new webpage is https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret/

I did my PhD at the Grenoble Informatics Laboratory (LIG) on the generation of prime implicates in equational logic. You can find my previous webpage at http://lig-membres.imag.fr/tourret/ . It contains the source code and the articles that were produced during my PhD.

Research Areas

 
 

Education

 
Oct 2012
 - 
Mar 2016
PhD on Abduction in Equational Logic, Computer Sciences, Grenoble-Alpes University / Grenoble Informatics Laboratory
 
Sep 2011
 - 
Jun 2012
Master on Web and Artificial Intelligence, Joseph Fourier University
 
Sep 2009
 - 
Jun 2012
Grenoble INP Ensimag (engineering school)
 

Awards & Honors

 
 
Abduction in Equational Logic, Best presentation and poster Award, Grenoble Informatics Laboratory
 
2 minutes madness presentation and poster session of the Grenoble Informatics Laboratory for second year PhD students.

Published Papers

 
Learning Programs with Continuous Domains from State Transitions
Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, and Katsumi Inoue
The 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017),      Sep 2017   [Refereed]
Learning Logic Program Representation for Delayed Systems with Limited Training Data
Yin Jun Phua, Sophie Tourret, and Katsumi Inoue
The 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017),      Sep 2017   [Refereed]
Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks
Yin Jun Phua, Sophie Tourret, and Katsumi Inoue
Proceedings of the 1st International Workshop on Symbolic-Neural Learning (SNL-2017; Nagoya, Japan, July 7-8, 2017),      Jul 2017   [Refereed]
Learning from Interpretation Transition using Feed-Forward Neural Networks
Enguerrand Gentet, Sophie Tourret, and Katsumi Inoue
James Cussens and Alessandra Russo (eds.), Proceedings of the 26th International Conference on Inductive Logic Programming (ILP 2016; London, UK) (Short papers), CEUR Workshop Proceedings, 1865 27-33      Sep 2016   [Refereed]
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks
Sophie Tourret, Enguerrand Gentet, and Katsumi Inoue
Fengyu Cong, Andrew Leung, and Qinglai Wei (eds.), Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017; Sapporo, Japan, June 21-23, 2017), Part 1, Lecture Notes in Computer Science, 10261 483-492      Jun 2017   [Refereed]
Quantifier-Free Equational Logic and Prime Implicate Generation
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of CADE-25      2015   [Refereed]
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of PAAR’14 (IJCAR 2014 workshop)      2014   [Refereed]
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of ADDCT'14 (IJCAR 2014 workshop)      2014   [Invited]
A Rewriting Strategy to Generate Prime Implicates in Equational Logic
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of IJCAR 2014      2014   [Refereed]
An Approach to Abductive Reasoning in Equational Logic
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of IJCAI 2013      2013   [Refereed]

Teaching Experience