4 papers
A New Dataset and Performance Benchmark for Real-time Spacecraft Segmentation in Onboard Computers
Jeffrey Joan Sam, Janhavi Sathe, Nikhil Chigali +6
Spacecraft deployed in outer space are routinely subjected to various forms of damage due to exposure to hazardous environments. In addition, there are significant risks to the sub…
Beyond Polarization: Opinion Mixing and Social Influence in Deliberation
Mohak Goyal, Lodewijk Gelauff, Naman Gupta +2
Deliberative processes are often discussed as increasing or decreasing polarization. This approach misses a different, and arguably more diagnostic, dimension of opinion change: wh…
Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds
Julius Tranquilli, Naman Gupta
Concentrated-liquidity automated market makers (CLAMMs), as exemplified by Uniswap v3, are now a common primitive in decentralized finance frameworks. Their design combines continu…
FABRIC: Framework for Agent-Based Realistic Intelligence Creation
Abhigya Verma, Seganrasan Subramanian, Nandhakumar Kandasamy +1
Large language models (LLMs) are increasingly deployed as agents, expected to decompose goals, invoke tools, and verify results in dynamic environments. Realizing these capabilitie…