C3E 2023 Poster Sesion

C3E Participant Poster Session

The poster session will be held during the working lunch on Tuesday at 11:45am.

AMETHYST (AutoMated THeorY SubsTitution): Formal language generation that is explainable, explorable, and extensible by humans
John Scebold and Jared Ziegler, Two Six Technologies

Analyzing and Securing Software via Robust and Generalizable Learning
Kexin Pei, Columbia University and The University of Chicago

C3E Challenge Problems
Don Goff and Dan Wolf, Cyber Pack Ventures

Fine-tuning and Prompting LLMs for Proof Synthesis and Repair
Peter Chin, Dartmouth University

Learning Topological Features via Path Complexes
Emily First, UCSD

Leveraging LLMs in Assuring Next Generation Safety and Security Critical Systems
Srivatsan Varadarajan, Honeywell Technologies

Pretraining for Proof Repair with Infrastructure for Supervised Models
Andrew Gardner, Radiance Technologies

Trustworthy Foundation Models via Integrating Context
Chengzhi Mao, Columbia

Using LLMs and s(CASP) to build trustworthy AI systems
Gopal Gupta, UT Dallas

Florida Institute of Technology Student Poster Session

The FIT student poster session will be held on Tuesday at 4:30 p.m.

A Comparative Analysis of Resolution Effects in Face Recognition
Joyce Annan

Compositional Human-Agent Teams for Spaceflight
Rahul Metha

Informed Decision-Making through Advancements in Open Set Recognition
Atefeh Mahdav

Ok, Google, Are There any Vulnerabilities in my Project?
Fitzroy Nembhard

Patterns of Effective Human-Agent Teams
Josias Moukpe

Privacy Preserving Effect of Cloaking Across Demographics
Xavier Merino Aguilera

Toward Tone-Aware Face Image Datasets
Gabriella Pangelinan

Trust and Reliance in Compositional Control Teams
Kazuhiko Momose

Neuroergonomics of Cursor Control Devices in Spacecraft Cockpits for Spaceflight Participants
Troy Weekes

Simulation Study of Human Input Devices in a Variable Gravity Environment for Commercial Space Transportation
Troy Weekes