1 citations · 2 across the 3 of their papers we have counts for
5 papers
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
Prithwish Jana, Viet Bach Hoang, Logan Luna +9
Proof auto-formalization translates natural-language (NL) theorems and proofs into a formal language (FL) such as Lean, enabling mechanical verification. Despite rapid progress, re…
Signal-Centric Remote Sensing via Alternative Preprocessing and Acoustic Processing for ML-Driven Applications
Logan Luna, Sirio Jansen-Sánchez, Ilteris Demirkiran +1
The dominant method of processing sonar data is using image-based representations, requiring the preprocessing of image data on autonomous systems. We propose an alternative data p…
SensorWF: A FAIR Generalizable Workflow Framework for Scientific Time-Series Analysis
Logan Luna, Joseph Rigo, Kellan Shew +1
Scientific sensor data is foundational across disciplines including spacecraft engineering, clinical medicine, and atmospheric science. In each context, pipelines are constructed t…
Dueling Deep Q-Learning for Intrusion Detection
Logan Luna, Matthew P. Berkowitz, Laxima Niure Kandel +1
Intrusion detection systems (IDS) and automated systems for detecting and reporting cyber threats, are commonly handled via supervised machine learning methods. Though effective, t…
Satellite Trajectory Optimization via Proximal Policy Optimization for Space Debris Avoidance
Logan Luna, Juan Ortiz Couder, Raul Alejandro Vargas-Acosta
Collision avoidance systems are commonly used to avoid fragmentation events occurring in Low-Earth Orbit (LEO) and Geosynchronous Equatorial Orbit (GEO). However, these events have…