misi: a Metric Inverted Sample Index
该论文提出了一种名为misi的倒排索引方法，用于在一般度量空间中进行近似最近邻搜索。通过随机采样数据库构建词汇表，并利用内部索引和idf加权共享邻居投票来解决问题。
0 citationsRead paper
Selected work
Representative Papers
AI4Math: A Native Spanish Benchmark for University-Level Mathematical Reasoning in Large Language Models
Existing mathematical reasoning benchmarks are predominantly English-based or translation-derived, risking semantic drift and obscuring language-specific reasoning deficiencies. Method: We introduce AI4Math—the first natively authored Spanish-language university-level mathematical reasoning benchmark—comprising 105 original problems spanning seven domains (e.g., algebra, calculus, geometry) with expert-annotated step-by-step solutions. It enables robust cross-lingual analysis without translation artifacts. We conduct bilingual (Spanish/English) zero-shot and chain-of-thought evaluations on state-of-the-art models including GPT-4o, DeepSeek-R1/V3, DeepSeek-o3 mini, and LLaMA-3.3. Contribution/Results: Top-performing models achieve >70% accuracy on Spanish tasks; notably, GPT-4o attains higher zero-shot accuracy in Spanish than in English. However, performance drops sharply (<40%) on geometry, combinatorics, and probability problems—revealing persistent domain-specific weaknesses. AI4Math thus provides a linguistically grounded, domain-diverse resource for probing multilingual mathematical reasoning capabilities.
0 citationsRead paper
Minimum Time Strategies for a Differential Drive Robot Escaping from a Circular Detection Region
This study addresses the minimum-time evasion problem for a differential-drive robot within a circular detection region, formulated as a zero-sum differential game that unifies both stationary and low-velocity adversarial scenarios. Leveraging Pontryagin’s Minimum Principle and boundary-enclosure analysis, we rigorously derive time-optimal control laws for both players. For the first time, we reveal that the evasion strategy type—radial, tangential, or hybrid—is jointly determined by the speed ratio and initial relative configuration, thereby transcending the conventional purely radial evasion paradigm. We theoretically prove guaranteed evasibility and provide a complete analytical partitioning of the strategy space. Simulation results demonstrate that the proposed strategy reduces evasion time by up to 23% compared to baseline methods, significantly enhancing evasion efficiency in adversarial environments.
0 citationsRead paper
Recent publications
Latest Papers
misi: a Metric Inverted Sample Index
该论文提出了一种名为misi的倒排索引方法，用于在一般度量空间中进行近似最近邻搜索。通过随机采样数据库构建词汇表，并利用内部索引和idf加权共享邻居投票来解决问题。
0 citationsRead paper
AI4Math: A Native Spanish Benchmark for University-Level Mathematical Reasoning in Large Language Models
Existing mathematical reasoning benchmarks are predominantly English-based or translation-derived, risking semantic drift and obscuring language-specific reasoning deficiencies. Method: We introduce AI4Math—the first natively authored Spanish-language university-level mathematical reasoning benchmark—comprising 105 original problems spanning seven domains (e.g., algebra, calculus, geometry) with expert-annotated step-by-step solutions. It enables robust cross-lingual analysis without translation artifacts. We conduct bilingual (Spanish/English) zero-shot and chain-of-thought evaluations on state-of-the-art models including GPT-4o, DeepSeek-R1/V3, DeepSeek-o3 mini, and LLaMA-3.3. Contribution/Results: Top-performing models achieve >70% accuracy on Spanish tasks; notably, GPT-4o attains higher zero-shot accuracy in Spanish than in English. However, performance drops sharply (<40%) on geometry, combinatorics, and probability problems—revealing persistent domain-specific weaknesses. AI4Math thus provides a linguistically grounded, domain-diverse resource for probing multilingual mathematical reasoning capabilities.
0 citationsRead paper
Minimum Time Strategies for a Differential Drive Robot Escaping from a Circular Detection Region
This study addresses the minimum-time evasion problem for a differential-drive robot within a circular detection region, formulated as a zero-sum differential game that unifies both stationary and low-velocity adversarial scenarios. Leveraging Pontryagin’s Minimum Principle and boundary-enclosure analysis, we rigorously derive time-optimal control laws for both players. For the first time, we reveal that the evasion strategy type—radial, tangential, or hybrid—is jointly determined by the speed ratio and initial relative configuration, thereby transcending the conventional purely radial evasion paradigm. We theoretically prove guaranteed evasibility and provide a complete analytical partitioning of the strategy space. Simulation results demonstrate that the proposed strategy reduces evasion time by up to 23% compared to baseline methods, significantly enhancing evasion efficiency in adversarial environments.
0 citationsRead paper