Research author
Lucas Cordeiro
2 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Lucas Cordeiro
Aug 27, 2026
cs.AI
LAAF: A Layered Accountability Architecture Framework for LLM Applications
Prachi Chaturvedi, Shahnawaz Ahmad, Ehsan Nowroozi, et al.
Jul 9, 2026
cs.CL
Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis
Pierre Dantas, Lucas Cordeiro, Waldir Junior