Skip to content

Azade Nova

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

3

Active years

2023–2025

Best venue rank

A*

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2025ICLRImproving Large Language Model Planning with Action Sequence Similarity.Xinran Zhao, Hanie Sedghi, Bernd Bohnet, Dale Schuurmans, Azade Nova
2023ICCADLFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov
2023ICMLGradient-Free Structured Pruning with Unlabeled Data.Azade Nova, Hanjun Dai, Dale Schuurmans
2023ICMLRevisiting Sampling for Combinatorial Optimization.Haoran Sun, Katayoon Goshvadi, Azade Nova, Dale Schuurmans, Hanjun Dai