3 papers
cs.AI2025
EgoBrain: Synergizing Minds and Eyes For Human Action Understanding
Nie Lin, Yansen Wang, Dongqi Han +5
The integration of brain-computer interfaces (BCIs), in particular electroencephalography (EEG), with artificial intelligence (AI) has shown tremendous promise in decoding human co…
cs.LO2025
Geometric Formalization of First-Order Stochastic Dominance in Dimensions: A Tractable Path to Multi-Dimensional Economic Decision Analysis
Jingyuan Li
This paper introduces and formally verifies a novel geometric framework for first-order stochastic dominance (FSD) in dimensions using the Lean 4 theorem prover. Traditional an…
eess.SP2024
Translating Mental Imaginations into Characters with Codebooks and Dynamics-Enhanced Decoding
Jingyuan Li, Yansen Wang, Nie Lin +1
Advancements in non-invasive electroencephalogram (EEG)-based Brain-Computer Interface (BCI) technology have enabled communication through brain activity, offering significant pote…