Olivia Wang

Olivia Wang

PhD student at University of California, Santa Cruz, interested in Human-Centered Explainable AI, Neuro-Symbolic AI, and the intersection of AI and law.

Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning

Published in AI4Law Workshop at ICML 2026, 2026

Recommended citation: Wang, O. P., Wong-Toropainen, S., Amrollahi, D., Bai, R., Bansal, T., Garg, A., & Gilpin, L. H. (2026). Know your limits: On the faithfulness of LLMs as solvers and autoformalizers in legal reasoning. arXiv. https://arxiv.org/abs/2606.16118
Download Paper