Publications

Kora S. Hughes (2024). A Dataset for Benchmarking for Large Language Model-Generated Software Assertions. Benchmarking LLM-Generated Software Assertions.

Kora S. Hughes, Roni Barak Ventura (2022). Data-Driven Classification of Human Movements in Virtual Reality-Based Serious Games. Data-Driven Classification of Human Movements in VR.