2 papers
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…