{"total":17,"rows":[{"id":"2103.03874","title":"Measuring Mathematical Problem Solving With the MATH Dataset","created":"2021-03-05","cited_by_count":5430,"area":null},{"id":"2105.12907","title":"Directed Acyclic Graph Network for Conversational Emotion Recognition","created":"2021-05-27","cited_by_count":97,"area":null},{"id":"2101.07965","title":"Directed Acyclic Graph Neural Networks","created":"2021-01-20","cited_by_count":70,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":59,"area":null},{"id":"2201.03662","title":"Learning Fair Node Representations with Graph Counterfactual Fairness","created":"2022-01-10","cited_by_count":58,"area":null},{"id":"2101.06223","title":"LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning","created":"2021-01-15","cited_by_count":46,"area":null},{"id":"2210.13148","title":"Transformers over Directed Acyclic Graphs","created":"2022-10-24","cited_by_count":23,"area":null},{"id":"2106.03906","title":"Learning to Guide a Saturation-Based Theorem Prover","created":"2021-06-07","cited_by_count":15,"area":null},{"id":"2403.12821","title":"FlowerFormer: Empowering Neural Architecture Encoding using a Flow-aware Graph Transformer","created":"2024-03-19","cited_by_count":10,"area":null},{"id":"2101.09142","title":"A Study of Continuous Vector Representationsfor Theorem Proving","created":"2021-01-22","cited_by_count":4,"area":null},{"id":"2305.08676","title":"An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations","created":"2023-05-15","cited_by_count":4,"area":null},{"id":"2405.14389","title":"stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic","created":"2024-05-23","cited_by_count":4,"area":null},{"id":"2403.03401","title":"BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving","created":"2024-03-06","cited_by_count":2,"area":null},{"id":"2207.06679","title":"Learning to Prove Trigonometric Identities","created":"2022-07-14","cited_by_count":1,"area":null},{"id":"2212.05200","title":"Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks","created":"2022-12-10","cited_by_count":1,"area":null},{"id":"2507.07808","title":"Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers","created":"2025-07-10","cited_by_count":1,"area":null},{"id":"2305.07163","title":"Lattice-preserving $\\mathcal{ALC}$ ontology embeddings with saturation","created":"2023-05-11","cited_by_count":0,"area":null}],"next_cursor":null}