Tootfinder

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
Jiachi Chen, Yiming Shen, Jiashuo Zhang, Zihao Li, John Grundy, Zhenzhe Shao, Yanlin Wang, Jiashui Wang, Ting Chen, Zibin Zheng
https://arxiv.org/abs/2506.18795

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
High-quality smart contract vulnerability datasets are critical for evaluating security tools and advancing smart contract security research. Two major limitations of current manual dataset construction are (1) labor-intensive and error-prone annotation processes limiting the scale, quality, and evolution of the dataset, and (2) absence of standardized classification rules results in inconsistent vulnerability categories and labeling results across different datasets. To address these limitatio…

Join Radu Pop and Pietro Mele at Berlin Buzzwords as they discuss building an extensible hybrid search solution with Elasticsearch. They will cover functional modeling, cluster architecture, and practical insights on managing billions of vectors in real-world scenarios. Radu and Pietro will also address hybrid reranking challenges and the limitations of standard fusion techniques, explaining their innovative approach.
Learn more:

Education Dept. says Columbia fails to meet accreditation standards
https://www.cnbc.com/2025/06/04/trump-columbia-education-antidiscrimination.html

Today the #SemDH2025 workshop takes place alongside #ESWC2025. I’m happy that Philipp Tögel will present our paper on Data-rich Web Annotations. We discuss how web annotations, a W3C standard, can be leveraged to include complex analysis with domain-specific data models as

Enabling automatic transcription of child-centered audio recordings from real-world environments
Daniil Kocharov, Okko R\"as\"anen
https://arxiv.org/abs/2506.11747

Enabling automatic transcription of child-centered audio recordings from real-world environments
Longform audio recordings obtained with microphones worn by children-also known as child-centered daylong recordings-have become a standard method for studying children's language experiences and their impact on subsequent language development. Transcripts of longform speech audio would enable rich analyses at various linguistic levels, yet the massive scale of typical longform corpora prohibits comprehensive manual annotation. At the same time, automatic speech recognition (ASR)-based transcri…

scDataset: Scalable Data Loading for Deep Learning on Large-Scale Single-Cell Omics
Davide D'Ascenzo, Sebastiano Cultrera di Montesano
https://arxiv.org/abs/2506.01883

scDataset: Scalable Data Loading for Deep Learning on Large-Scale Single-Cell Omics
Modern single-cell datasets now comprise hundreds of millions of cells, presenting significant challenges for training deep learning models that require shuffled, memory-efficient data loading. While the AnnData format is the community standard for storing single-cell datasets, existing data loading solutions for AnnData are often inadequate: some require loading all data into memory, others convert to dense formats that increase storage demands, and many are hampered by slow random disk access…

This https://arxiv.org/abs/2412.08468 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Multi-GraspLLM: A Multimodal LLM for Multi-Hand Semantic Guided Grasp Generation
Multi-hand semantic grasp generation aims to generate feasible and semantically appropriate grasp poses for different robotic hands based on natural language instructions. Although the task is highly valuable, due to the lack of multihand grasp datasets with fine-grained contact description between robotic hands and objects, it is still a long-standing difficult task. In this paper, we present Multi-GraspSet, the first large-scale multi-hand grasp dataset with automatically contact annotations.…

This https://arxiv.org/abs/2505.12899 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Interpolation for the two-way modal mu-calculus
The two-way modal mu-calculus is the extension of the (standard) one-way mu-calculus with converse (backward-looking) modalities. For this logic we introduce two new sequent-style proof calculi: a non-wellfounded system admitting infinite branches and a finitary, cyclic version of this that employs annotations. As is common in sequent systems for two-way modal logics, our calculi feature an analytic cut rule. What distinguishes our approach is the use of so-called trace atoms, which serve to ap…

OxO2 -- A SSSOM mapping browser for logically sound crosswalks
Henriette Harmse, Haider Iqbal, Helen Parkinson, James McLaughlin
https://arxiv.org/abs/2506.04286

OxO2 -- A SSSOM mapping browser for logically sound crosswalks
EMBL-EBI created OxO to enable users to map between datasets that are annotated with different ontologies. Mappings identified by the first version of OxO were not necessarily logically sound, missed important provenance information such as author and reviewer, and could timeout or crash for certain requests. In this paper we introduce OxO2 to address these concerns. Provenance is addressed by implementing SSSOM, a mapping standard that defines provenance for mappings. SSSOM defines the conditi…

The Cell Ontology in the age of single-cell omics
Shawn Zheng Kai Tan, Aleix Puig-Barbe, Damien Goutte-Gattat, Caroline Eastwood, Brian Aevermann, Alida Avola, James P Balhoff, Ismail Ugur Bayindir, Jasmine Belfiore, Anita Reane Caron, David S Fischer, Nancy George, Benjamin M Gyori, Melissa A Haendel, Charles Tapley Hoyt, Huseyin Kir, Tiago Lubiana, Nicolas Matentzoglu, James A Overton, Beverly Peng, Bjoern Peters, Ellen M Quardokus, Patrick L Ray, Paola Roncaglia, Andrea D Rivera, Ra…

The Cell Ontology in the age of single-cell omics
Single-cell omics technologies have transformed our understanding of cellular diversity by enabling high-resolution profiling of individual cells. However, the unprecedented scale and heterogeneity of these datasets demand robust frameworks for data integration and annotation. The Cell Ontology (CL) has emerged as a pivotal resource for achieving FAIR (Findable, Accessible, Interoperable, and Reusable) data principles by providing standardized, species-agnostic terms for canonical cell types - …