|
已选(0)清除
条数/页： 排序方式： |
| Machine Learning Methods in Solving the Boolean Satisfiability Problem 期刊论文
Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655
作者: Wenxuan Guo; Hui-Ling Zhen; Xijun Li; Wanqian Luo; Mingxuan Yuan; Yaohui Jin; Junchi Yan
 Adobe PDF(1518Kb) |  收藏 | 浏览/下载：15/5 | 提交时间：2024/04/23
Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization |
| Plane Geometry Diagram Parsing 会议论文
, 奥地利 维也纳, 2022-7-24
作者: Zhang Ming-Liang ; Yin Fei; Hao Yi-Han; Liu Cheng-Lin
Adobe PDF(1024Kb) | 收藏 | 浏览/下载：42/14 | 提交时间：2024/04/03 |
| A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram 会议论文
, 中国 澳门, 2023-7-19
作者: Zhang Ming-Liang; Yin Fei; Liu Cheng-Lin
Adobe PDF(1110Kb) | 收藏 | 浏览/下载：56/14 | 提交时间：2024/04/03 |
| 几何图形解析与解题 学位论文
, 2023
作者: 张明亮
 Adobe PDF(6293Kb) | 收藏 | 浏览/下载：65/1 | 提交时间：2024/04/03
几何图形 图例解析 几何解题 定理知识验证 |
| Second-Order Global Attention Networks for Graph Classification and Regression 会议论文
, Beijing, China, August 27-28, 2022
作者: Hu Fenyu; Cui Zeyu; Wu Shu; Liu Qiang; Wu Jinlin; Wang Liang; Tan Tieniu
Adobe PDF(69424Kb) | 收藏 | 浏览/下载：187/69 | 提交时间：2023/07/06 |
| Geometry Problem Solving Based on Counter-factual Evolutionary Reasoning 会议论文
, New Zealand, 2023
作者: Song B(宋冰); Xiong G(熊刚); Shen Z(沈震); Zhu F(朱凤华); Lv Y（吕宜生）; Ye P（叶佩军）
Adobe PDF(1318Kb) | 收藏 | 浏览/下载：180/76 | 提交时间：2023/06/26 |
| A Brief Overview of ChatGPT: The History, Status Quo and Potential Future Development 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 5, 页码: 1122-1136
作者: Tianyu Wu; Shizhu He; Jingping Liu; Siqi Sun; Kang Liu; Qing-Long Han; Yang Tang
Adobe PDF(4650Kb) | 收藏 | 浏览/下载：788/652 | 提交时间：2023/04/26
AIGC ChatGPT GPT-3 GPT-4 human feedback large language models |
| A Multi-Task MRC Framework for Chinese Emotion Cause and Experiencer Extraction 会议论文
, Bratislava, Slovakia, 2021-09
作者: Haoda Qian; Qiudan Li; Zaichuan Tang
Adobe PDF(79001Kb) | 收藏 | 浏览/下载：331/124 | 提交时间：2022/06/14 |
| A Scalable Adaptive Approach to Multi-Vehicle Formation Control with Obstacle Avoidance 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 6, 页码: 990-1004
作者: Xiaohua Ge; Qing-Long Han; Jun Wang; Xian-Ming Zhang
Adobe PDF(5284Kb) | 收藏 | 浏览/下载：197/46 | 提交时间：2022/05/30
Adaptive control collision avoidance distributed formation control multi-vehicle systems neural networks obstacle avoidance repulsive potential |
| Maximizing Convergence Speed for Second Order Consensus in Leaderless Multi-Agent Systems 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 259-269
作者: Gianvito Difilippo; Maria Pia Fanti; Agostino Marcello Mangini
Adobe PDF(1663Kb) | 收藏 | 浏览/下载：191/39 | 提交时间：2021/11/03
Consensus protocols directed spanning tree multi-agent systems networked systems second-order consensus |
