Home » Tags

Ast-Guided

AST-PAC: AST-guided Membership Inference for Code

AST-PAC: AST-guided Membership Inference for Code

• Computer Science > Artificial Intelligence [Submitted on 30 Jan 2026] Title:AST-PAC: AST-guided Membership Inference for Code View PDF HTML (experimental)Abstract:Code Large Lang

Research · February 17, 2026 (updated February 19, 2026) · 2 min · 216 words
AST-PAC: AST-guided Membership Inference for Code

AST-PAC: AST-guided Membership Inference for Code

• Computer Science > Artificial Intelligence [Submitted on 30 Jan 2026] Title:AST-PAC: AST-guided Membership Inference for Code View PDF HTML (experimental)Abstract:Code Large Lang

Research & Labs · February 17, 2026 (updated February 24, 2026) · 2 min · 216 words
NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

• Computer Science > Artificial Intelligence [Submitted on 29 Jan 2026] Title:NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

Research · February 17, 2026 (updated February 19, 2026) · 2 min · 250 words
NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

• Computer Science > Artificial Intelligence [Submitted on 29 Jan 2026] Title:NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

Research & Labs · February 17, 2026 (updated February 24, 2026) · 2 min · 250 words