| 1 |
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean |
提出Lean Copilot以解决自动定理证明中的人机协作问题 |
large language model |
|
|
| 2 |
FedEval-LLM: Federated Evaluation of Large Language Models on Downstream Tasks with Collective Wisdom |
提出FedEval-LLM以解决大语言模型评估中的隐私与准确性问题 |
large language model |
|
|
| 3 |
Monitoring Critical Infrastructure Facilities During Disasters Using Large Language Models |
利用大型语言模型监测灾害期间关键基础设施状态 |
large language model |
|
|
| 4 |
DF-DM: A foundational process model for multimodal data fusion in the artificial intelligence era |
提出DF-DM模型以解决多模态数据融合挑战 |
multimodal |
|
|
| 5 |
Enhancing Financial Inclusion and Regulatory Challenges: A Critical Analysis of Digital Banks and Alternative Lenders Through Digital Platforms, Machine Learning, and Large Language Models Integration |
通过数字平台与机器学习提升金融包容性应对监管挑战 |
large language model |
|
|
| 6 |
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools |
提出基于LLM的规划框架以解决复杂多约束规划问题 |
large language model |
|
|
| 7 |
CAUS: A Dataset for Question Generation based on Human Cognition Leveraging Large Language Models |
提出CAUS数据集以提升大型语言模型的提问能力 |
large language model |
|
|
| 8 |
Synthetic Participatory Planning of Shard Automated Electric Mobility Systems |
提出合成参与规划方法以解决城市交通问题 |
large language model |
|
|
| 9 |
Who Validates the Validators? Aligning LLM-Assisted Evaluation of LLM Outputs with Human Preferences |
提出混合主动方法以解决LLM输出评估的验证问题 |
large language model |
|
|
| 10 |
Concept Induction: Analyzing Unstructured Text with High-Level Concepts Using LLooM |
提出概念诱导方法以分析非结构化文本数据 |
large language model |
|
|
| 11 |
De-DSI: Decentralised Differentiable Search Index |
提出De-DSI框架以实现去中心化的信息检索 |
large language model |
|
|
| 12 |
AccidentBlip: Agent of Accident Warning based on MA-former |
提出AccidentBlip以解决交通事故预测的鲁棒性问题 |
multimodal |
|
|
| 13 |
Character is Destiny: Can Role-Playing Language Agents Make Persona-Driven Decisions? |
提出CHARMAP方法以提升角色驱动决策的语言模型能力 |
large language model |
|
|
| 14 |
From Language Models to Practical Self-Improving Computer Agents |
提出自我增强计算机代理以解决复杂任务 |
large language model |
|
|
| 15 |
MCRanker: Generating Diverse Criteria On-the-Fly to Improve Point-wise LLM Rankers |
提出MCRanker以解决点式LLM排名中的标准化与综合性问题 |
large language model |
|
|
| 16 |
Concept Induction using LLMs: a user experiment for assessment |
利用大型语言模型提升图像分类的概念生成与解释能力 |
large language model |
|
|
| 17 |
Thought of Search: Planning with Language Models Through The Lens of Efficiency |
提出高效的语言模型规划方法以解决搜索问题 |
large language model |
|
|