Raphaël Monat

1. A Modern Compiler for the French Tax Code
   2020/11/16 by Denis Merigoux, Merigoux, Denis, Raphaël Monat +3 · 8 voices · 2 citations
   #cs.PL
2. CUTECat: Concolic Execution for Computational Law
   2024/10/23 by Pierre Goutagny, Aymeric Fromherz, Goutagny, Pierre +3 · 3 voices
   Computer Science · Social Sciences · #Artificial Intelligence in Law #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #cs.PL #cs.SE
3. Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
   2024/03/13 by Raphaël Monat, Aymeric Fromherz, Monat, Raphaël +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Programming Languages (cs.PL)