Xuandi Ren
From MaRDI portal
Person:6538657
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!
| Publication | Date of Publication | Type |
|---|---|---|
| Exploring proof autoformalization with Mistral on Herald | 2026-02-19 | Paper |
| Baby PIH: Parameterized inapproximability of min CSP | 2026-01-28 | Paper |
| Parameterized inapproximability hypothesis under ETH Journal of the ACM | 2025-11-27 | Paper |
| Improved hardness of approximating \(k\)-clique under ETH | 2025-08-15 | Paper |
| On lower bounds of approximating parameterized \(k\)-clique | 2024-06-24 | Paper |
| Constant approximating Parameterized \(k\)-\textsc{SetCover} is W[2-hard] | 2024-05-14 | Paper |
| Generalized sorting with predictions | 2024-05-14 | Paper |
Research outcomes over time
This page was built for person: Xuandi Ren
