Mechanizing Gödel's incompleteness Theorems and Provability Logic
该研究使用Lean 4定理证明器机械化证明了哥德尔的不完备性定理、Solovay关于GL系统的算术完备性定理及相关结果。
0 citationsRead paper
Selected work
Representative Papers
Bi-MoDe: Bilateral Control-based Imitation Learning via Modifier-Conditioned Decoding for Modulation of Execution Speed and Contact Intensity
为解决执行速度和接触强度调控问题，提出Bi-MoDe方法，通过修改条件解码框架直接控制动作生成。
0 citationsRead paper
MR-GLi: Mixed Reality-Based Gripper-Linked Overlays for Underwater Robot Arm Teleoperation via Bilateral Control
研究通过MR-GLi系统，采用混合现实技术为水下机械臂遥操作提供直观的视觉反馈，解决了传统显示器呈现方式中注意力转换负担的问题。
0 citationsRead paper
Self-Fulfilling Prophecies, Quasi Nonergodicity, and Wealth Inequality: A Comment
本文纠正了Bouchaud和Farmer关于自证预言导致财富分布的研究中使用的方法，通过重新计算得到了更高的不平等程度，但定量结果不符。
0 citationsRead paper
AdoDAS: A Privacy-Preserving Multimodal Challenge for Adolescent Depression, Anxiety, and Stress Assessment
研究提出AdoDAS挑战，通过保护隐私的多模态方法评估青少年抑郁、焦虑和压力，使用匿名视听表示和文本，提高筛查准确性。
0 citationsRead paper
Recent publications
Latest Papers
Mechanizing Gödel's incompleteness Theorems and Provability Logic
该研究使用Lean 4定理证明器机械化证明了哥德尔的不完备性定理、Solovay关于GL系统的算术完备性定理及相关结果。
0 citationsRead paper
Bi-MoDe: Bilateral Control-based Imitation Learning via Modifier-Conditioned Decoding for Modulation of Execution Speed and Contact Intensity
为解决执行速度和接触强度调控问题，提出Bi-MoDe方法，通过修改条件解码框架直接控制动作生成。
0 citationsRead paper
MR-GLi: Mixed Reality-Based Gripper-Linked Overlays for Underwater Robot Arm Teleoperation via Bilateral Control
研究通过MR-GLi系统，采用混合现实技术为水下机械臂遥操作提供直观的视觉反馈，解决了传统显示器呈现方式中注意力转换负担的问题。
0 citationsRead paper
Self-Fulfilling Prophecies, Quasi Nonergodicity, and Wealth Inequality: A Comment
本文纠正了Bouchaud和Farmer关于自证预言导致财富分布的研究中使用的方法，通过重新计算得到了更高的不平等程度，但定量结果不符。
0 citationsRead paper
AdoDAS: A Privacy-Preserving Multimodal Challenge for Adolescent Depression, Anxiety, and Stress Assessment
研究提出AdoDAS挑战，通过保护隐私的多模态方法评估青少年抑郁、焦虑和压力，使用匿名视听表示和文本，提高筛查准确性。
0 citationsRead paper