activity
20202023
most citedA Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation

17 citations · 27 across the 15 of their papers we have counts for

collaborators
Showing 2022 · cs.AIShow all

1 paper · 2 filters

cs.AI2022★ 1 cited

Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers

Mokanarangan Thayaparan, Marco Valentino, André Freitas

Integer Linear Programming (ILP) provides a viable mechanism to encode explicit and controllable assumptions about explainable multi-hop inference with natural language. However, a…