Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
TM Johnson
Observed names:
Johnson, Taylor,
Taylor T. Johnson
Institution:
Vanderbilt University
Observed institution:
Vanderbilt University
OpenAlex ID:
A5035735123
LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning
2026
·
Ziyan An
, Xia Wang
, et al.
·
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
·
1
A Self-correcting Neuro-symbolic AI Reasoning Framework
2026
·
Ben Wooding
, Kiersten Brennan
, et al.
·
Lecture notes in computer science
MetaMoE: Formal Verification of Compositional Robustness and Scalability of Mixture-of-Experts Architecture
2026
·
Quang Pham
, Ben Wooding
, et al.
·
Lecture notes in computer science
n2v: Neural Network Verification in Python (Competition Contribution)
2026
·
Samuel Sasaki
, Ben Wooding
, et al.
·
Lecture notes in computer science
Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
2026
·
Anne M. Tumlin
, Ben Wooding
, et al.
·
Lecture notes in computer science
PDF
BehaVerify: A Formal Verification Tool for Behavior Trees
2026
·
Serbinowska, Serena Serafina
, Wooding, Ben
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Demo Abstract: LogiEx: An Interactive Logic-Guided LLM Framework for Explainable Transit Planning
2026
·
Ziyan An
, Xia Wang
, et al.
·
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
SUGAR: A Sweeter Spot for Generative Unlearning of Many Identities
2026
·
Dung Thuy Nguyen
, Quang Nguyen
, et al.
·
IEEE Winter Conference on Applications of Computer Vision
LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning
2026
·
An, Ziyan
, Wang, Xia
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
9
Citation count:
1
H-index:
1
I10-index:
Year
Topic
Type
