Source code and data relevant for the paper 'Model Learning as a Satisfiabili...

B2FIND2026-04-29 收录

SMT求解

模型学习

数据链接：

https://b2find.eudat.eu/dataset/5dadf596-1882-567a-836e-f1947584572c 数据链接链接失效反馈

官方服务：

资源简介：

This datasets belongs to the following paper: Model Learning as a Satisfiability Modulo Theories Problem.URL = http://www.sws.cs.ru.nl/publications/papers/fvaan/SMT/main.pdf The...

Symmetria

点云处理

模型学习

Symmetria是一个基于公式的数据集，可以生成任意规模的点云数据。它通过构建确保精确的地面真值可用，促进数据高效实验，实现多样化几何设置下的广泛泛化，并易于扩展到新任务和模式。使用对称性的概念，我们创建具有已知结构和高度可变性的形状，使神经网络能够有效地学习点云特征。我们的结果表明，这个数据集对于点云自监督预训练非常有效，产生了在下游任务（如分类和分割）中表现强劲的模型，这些模型也显示出良好的

arXiv2025-10-27 更新250

Source code and data relevant for the paper 'Model Learning and Model Checkin...

模型学习

SSH协议

The dataset contains source code and data relevant for the paper "Model Learning and Model Checking of SSH Implementations".Paper url:...

B2FIND50

Symbolic Automatic Relations and Their Applications to SMT and CHC Solving

SMT求解

CHC求解

This is a replication package for the paper "Symbolic Automatic Relations and Their Applications to SMT and CHC Solving," published in the proceedings of the 28th Static Analysis Symposium (SAS 2021).

Zenodo2021-07-28 更新40

河北省迁安市- 文化艺术业-图书馆图书书目信息数据

图书馆管理

模型学习

数据数据来源于迁安市数据科技和工业信息化局，在履行图书管理行为中产生，包含涵盖迁安市图书馆馆藏图书书目，可用于迁安市图书馆馆藏图书书目查询和大模型学习。

国家公共数据资源登记平台120

Problem Domain 1

强化学习

模型学习

该数据集对ARM框架在特定问题领域的评估进行了总结，该领域与非马尔可夫奖励有关。在该问题域中，智能体可以在网格内移动，并遭遇随机行为。问题规模较小，任务是通过主动学习方法学习一个非马尔可夫奖励模型。

arXiv50