GenOR-Twin: A Semantic Middleware for Integrating Operational Discourse with Mathematical Optimization
本文提出GenOR-Twin框架，利用大语言模型作为语义翻译器将非结构化的操作日志转化为数学优化问题，并通过动态约束注入机制实时调整优化问题，以适应实际操作环境中的不确定性。
0 citationsRead paper
Selected work
Representative Papers
Fixed-mesh based approach for modeling of superconducting magnetic bearings
本文提出了一种基于固定网格的方法来模拟超导磁轴承中的运动效应，通过在移动区域间的空气区域应用坐标变换，解决了相对运动带来的几何与网格更新问题。
0 citationsRead paper
Order 14 is the largest order for which every 4-total coloring of every cubic graph is equitable
本文通过分解引理等方法，解决了Stemock关于4-全染色在立方图中是否总是公平的猜想，证明了14阶是所有立方图4-全染色都公平的最大阶数。
0 citationsRead paper
Risk-Sensitive Reward Composition for Conditional GFlowNets
论文解决了如何将K个评分整合为一个奖励的问题，通过使用条件风险价值、最坏情况评分规则和模糊半径方法来构建奖励，并用单个条件GFlowNet进行训练。
0 citationsRead paper
Least-Squares and Low-Rank Approximation for Linear Relations Using a Diagrammatic Language
本文使用线性关系的机制研究线性代数中的优化问题，通过广义最小二乘问题实现伪逆，并提出一种截断伪逆方法解决低秩逼近问题。
0 citationsRead paper
Recent publications
Latest Papers
GenOR-Twin: A Semantic Middleware for Integrating Operational Discourse with Mathematical Optimization
本文提出GenOR-Twin框架，利用大语言模型作为语义翻译器将非结构化的操作日志转化为数学优化问题，并通过动态约束注入机制实时调整优化问题，以适应实际操作环境中的不确定性。
0 citationsRead paper
Fixed-mesh based approach for modeling of superconducting magnetic bearings
本文提出了一种基于固定网格的方法来模拟超导磁轴承中的运动效应，通过在移动区域间的空气区域应用坐标变换，解决了相对运动带来的几何与网格更新问题。
0 citationsRead paper
Order 14 is the largest order for which every 4-total coloring of every cubic graph is equitable
本文通过分解引理等方法，解决了Stemock关于4-全染色在立方图中是否总是公平的猜想，证明了14阶是所有立方图4-全染色都公平的最大阶数。
0 citationsRead paper
Risk-Sensitive Reward Composition for Conditional GFlowNets
论文解决了如何将K个评分整合为一个奖励的问题，通过使用条件风险价值、最坏情况评分规则和模糊半径方法来构建奖励，并用单个条件GFlowNet进行训练。
0 citationsRead paper
Least-Squares and Low-Rank Approximation for Linear Relations Using a Diagrammatic Language
本文使用线性关系的机制研究线性代数中的优化问题，通过广义最小二乘问题实现伪逆，并提出一种截断伪逆方法解决低秩逼近问题。
0 citationsRead paper