AI.info

Wenda Li

Explore Wenda Li on AI.info.

• Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
• Towards Efficient LLM-aware Heterogeneous Graph Learning
• Neural Graph Navigation for Intelligent Subgraph Matching