Xuandi Ren

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Exploring proof autoformalization with Mistral on Herald2026-02-19Paper
Baby PIH: Parameterized inapproximability of min CSP2026-01-28Paper
Parameterized inapproximability hypothesis under ETH
Journal of the ACM
2025-11-27Paper
Improved hardness of approximating k-clique under ETH2025-08-15Paper
On lower bounds of approximating parameterized k-clique2024-06-24Paper
Constant approximating Parameterized \(k\)-\textsc{SetCover} is W[2]-hard2024-05-14Paper
Generalized sorting with predictions2024-05-14Paper


Research outcomes over time


This page was built for person: Xuandi Ren