Skip to main contentNeuro-Symbolic AI

AMR-to-Logic

Description

The logic generated by this component is used by the next stages of the pipeline to learn the policy. The development repository is here (limited access).

Main Contributors

Vernon Austel, Jason Liang, Rosario Uceda-Sosa, Masaki Ono, Daiki Kimura