ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity
Fuente:
arXiv
Saved in:
| Main Authors: | Liu, Xiaoyang, Zhu, Tao, Dong, Zineng, Liu, Yuntian, Guo, Qingfeng, Liu, Zhaoxuan, Chen, Yu, Luo, Tao |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
by: Liu, Yuntian, et al.
Published: (2025)
by: Liu, Yuntian, et al.
Published: (2025)
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
by: Liu, Xiaoyang, et al.
Published: (2026)
by: Liu, Xiaoyang, et al.
Published: (2026)
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
by: Liu, Xiaoyang, et al.
Published: (2025)
by: Liu, Xiaoyang, et al.
Published: (2025)
Empowering Machines to Think Like Chemists: Unveiling Molecular Structure-Polarity Relationships with Hierarchical Symbolic Regression
by: Lou, Siyu, et al.
Published: (2024)
by: Lou, Siyu, et al.
Published: (2024)
LNN-PINN: A Unified Physics-Only Training Framework with Liquid Residual Blocks
by: Tao, Ze, et al.
Published: (2025)
by: Tao, Ze, et al.
Published: (2025)
Digital Twin-Driven Zero-Shot Fault Diagnosis of Axial Piston Pumps Using Fluid-Borne Noise Signals
by: Dong, Chang, et al.
Published: (2025)
by: Dong, Chang, et al.
Published: (2025)
Towards Differentiable Multilevel Optimization: A Gradient-Based Approach
by: Gu, Yuntian, et al.
Published: (2024)
by: Gu, Yuntian, et al.
Published: (2024)
SurvUnc: A Meta-Model Based Uncertainty Quantification Framework for Survival Analysis
by: Liu, Yu, et al.
Published: (2025)
by: Liu, Yu, et al.
Published: (2025)
Preserving Node Distinctness in Graph Autoencoders via Similarity Distillation
by: Chen, Ge, et al.
Published: (2024)
by: Chen, Ge, et al.
Published: (2024)
Similarity-based Label Inference Attack against Training and Inference of Split Learning
by: Liu, Junlin, et al.
Published: (2022)
by: Liu, Junlin, et al.
Published: (2022)
Seismic full-waveform inversion based on a physics-driven generative adversarial network
by: Zhang, Xinyi, et al.
Published: (2026)
by: Zhang, Xinyi, et al.
Published: (2026)
FreeGAD: A Training-Free yet Effective Approach for Graph Anomaly Detection
by: Zhao, Yunfeng, et al.
Published: (2025)
by: Zhao, Yunfeng, et al.
Published: (2025)
MoNTA: Accelerating Mixture-of-Experts Training with Network-Traffc-Aware Parallel Optimization
by: Guo, Jingming, et al.
Published: (2024)
by: Guo, Jingming, et al.
Published: (2024)
Learning Structure-Semantic Evolution Trajectories for Graph Domain Adaptation
by: Chen, Wei, et al.
Published: (2026)
by: Chen, Wei, et al.
Published: (2026)
A Benchmark Study on Calibration
by: Tao, Linwei, et al.
Published: (2023)
by: Tao, Linwei, et al.
Published: (2023)
Probing Implicit Bias in Semi-gradient Q-learning: Visualizing the Effective Loss Landscapes via the Fokker--Planck Equation
by: Yin, Shuyu, et al.
Published: (2024)
by: Yin, Shuyu, et al.
Published: (2024)
An Improved Time Series Anomaly Detection by Applying Structural Similarity
by: Wang, Tiejun, et al.
Published: (2025)
by: Wang, Tiejun, et al.
Published: (2025)
Learning Fair Graph Representations with Multi-view Information Bottleneck
by: Liu, Chuxun, et al.
Published: (2025)
by: Liu, Chuxun, et al.
Published: (2025)
Degree of Staleness-Aware Data Updating in Federated Learning
by: Liu, Tao, et al.
Published: (2025)
by: Liu, Tao, et al.
Published: (2025)
A Generalized Bisimulation Metric of State Similarity between Markov Decision Processes: From Theoretical Propositions to Applications
by: Tao, Zhenyu, et al.
Published: (2025)
by: Tao, Zhenyu, et al.
Published: (2025)
WATS: Calibrating Graph Neural Networks with Wavelet-Aware Temperature Scaling
by: Li, Xiaoyang, et al.
Published: (2025)
by: Li, Xiaoyang, et al.
Published: (2025)
Graph Attention Networks Unleashed: A Fast and Explainable Vulnerability Assessment Framework for Microgrids
by: Liu, Wei, et al.
Published: (2025)
by: Liu, Wei, et al.
Published: (2025)
Bridging Data Gaps of Rare Conditions in ICU: A Multi-Disease Adaptation Approach for Clinical Prediction
by: Zhu, Mingcheng, et al.
Published: (2025)
by: Zhu, Mingcheng, et al.
Published: (2025)
MemCast: Memory-Driven Time Series Forecasting with Experience-Conditioned Reasoning
by: Tao, Xiaoyu, et al.
Published: (2026)
by: Tao, Xiaoyu, et al.
Published: (2026)
MC-DBN: A Deep Belief Network-Based Model for Modality Completion
by: Luo, Zihong, et al.
Published: (2024)
by: Luo, Zihong, et al.
Published: (2024)
A Machine Learning-Based Multimodal Framework for Wearable Sensor-Based Archery Action Recognition and Stress Estimation
by: Liu, Xianghe, et al.
Published: (2025)
by: Liu, Xianghe, et al.
Published: (2025)
CVTN: Cross Variable and Temporal Integration for Time Series Forecasting
by: Zhou, Han, et al.
Published: (2024)
by: Zhou, Han, et al.
Published: (2024)
Dependency-based Anomaly Detection: a General Framework and Comprehensive Evaluation
by: Lu, Sha, et al.
Published: (2020)
by: Lu, Sha, et al.
Published: (2020)
CuES: A Curiosity-driven and Environment-grounded Synthesis Framework for Agentic RL
by: Mai, Shinji, et al.
Published: (2025)
by: Mai, Shinji, et al.
Published: (2025)
MAVEN: A Mesh-Aware Volumetric Encoding Network for Simulating 3D Flexible Deformation
by: Feng, Zhe, et al.
Published: (2026)
by: Feng, Zhe, et al.
Published: (2026)
Reliable Evaluation and Benchmarks for Statement Autoformalization
by: Poiroux, Auguste, et al.
Published: (2024)
by: Poiroux, Auguste, et al.
Published: (2024)
Graph Negative Feedback Bias Correction Framework for Adaptive Heterophily Modeling
by: Lv, Jiaqi, et al.
Published: (2026)
by: Lv, Jiaqi, et al.
Published: (2026)
HeteroMILE: a Multi-Level Graph Representation Learning Framework for Heterogeneous Graphs
by: Zhang, Yue, et al.
Published: (2024)
by: Zhang, Yue, et al.
Published: (2024)
Machine Unlearning in Generative AI: A Survey
by: Liu, Zheyuan, et al.
Published: (2024)
by: Liu, Zheyuan, et al.
Published: (2024)
Noise-Resilient Unsupervised Graph Representation Learning via Multi-Hop Feature Quality Estimation
by: Li, Shiyuan, et al.
Published: (2024)
by: Li, Shiyuan, et al.
Published: (2024)
HiTeC: Hierarchical Contrastive Learning on Text-Attributed Hypergraph with Semantic-Aware Augmentation
by: Pan, Mengting, et al.
Published: (2025)
by: Pan, Mengting, et al.
Published: (2025)
RIFT: Repurposing Negative Samples via Reward-Informed Fine-Tuning
by: Liu, Zehua, et al.
Published: (2026)
by: Liu, Zehua, et al.
Published: (2026)
F-Fidelity: A Robust Framework for Faithfulness Evaluation of Explainable AI
by: Zheng, Xu, et al.
Published: (2024)
by: Zheng, Xu, et al.
Published: (2024)
CEGRL-TKGR: A Causal Enhanced Graph Representation Learning Framework for Temporal Knowledge Graph Reasoning
by: Sun, Jinze, et al.
Published: (2024)
by: Sun, Jinze, et al.
Published: (2024)
Diffusion Attribution Score: Evaluating Training Data Influence in Diffusion Models
by: Lin, Jinxu, et al.
Published: (2024)
by: Lin, Jinxu, et al.
Published: (2024)
Similar Items
-
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
by: Liu, Yuntian, et al.
Published: (2025) -
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
by: Liu, Xiaoyang, et al.
Published: (2026) -
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
by: Liu, Xiaoyang, et al.
Published: (2025) -
Empowering Machines to Think Like Chemists: Unveiling Molecular Structure-Polarity Relationships with Hierarchical Symbolic Regression
by: Lou, Siyu, et al.
Published: (2024) -
LNN-PINN: A Unified Physics-Only Training Framework with Liquid Residual Blocks
by: Tao, Ze, et al.
Published: (2025)