Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
start [2018/11/01 08:58]
jpms
start [2018/11/15 09:04] (current)
jpms
Line 8: Line 8:
  
 ^ Date           ^ News Brief                    ^ ^ Date           ^ News Brief                    ^
-| 2018/​10/​31 ​    | Paper "Constraint-Based Explanations ​of Machine Learning Models"​ accepted at AAAI 2019 (CORE A*) | \\+| 2018/​10/​31 ​    | Paper "Abduction-Based Explanations ​for Machine Learning Models"​ accepted at AAAI 2019 (CORE A*) | \\
 | 2018/​10/​19 ​    | Paper "​Formally Verifying the Solution to the Boolean Pythagorean Triples Problem,"​ accepted at Journal of Automated Reasoning (CORE A) | \\ | 2018/​10/​19 ​    | Paper "​Formally Verifying the Solution to the Boolean Pythagorean Triples Problem,"​ accepted at Journal of Automated Reasoning (CORE A) | \\
 | 2018/​07/​04 ​    | The Reason Lab's RC2 MaxSAT solver received [[floc18|two medals]] at the [[https://​www.floc2018.org/​|FLoC 2018]][[http://​www.labri.fr/​perso/​lsimon/​flog2018/​|Olympic Games]]. | \\ | 2018/​07/​04 ​    | The Reason Lab's RC2 MaxSAT solver received [[floc18|two medals]] at the [[https://​www.floc2018.org/​|FLoC 2018]][[http://​www.labri.fr/​perso/​lsimon/​flog2018/​|Olympic Games]]. | \\
Print/export