Some materials about postgraduate recommendation, especially summer workshop.
☆12Apr 7, 2020Updated 6 years ago
Alternatives and similar repositories for CS-Postgraduate
Users that are interested in CS-Postgraduate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- Detection and Classification of UI Elements of Web pages and Apps from Wireframe Sketches☆10Oct 9, 2023Updated 2 years ago
- ☆12Jun 8, 2017Updated 9 years ago
- TLA+ specification for the Raft consensus algorithm☆18Aug 22, 2016Updated 9 years ago
- TLA+ model checking guided testing for distributed systems☆20Feb 12, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [NeurIPS 2025] CodeCrash: Exposing LLM Fragility to Misleading Natural Language in Code Reasoning☆18Jan 24, 2026Updated 6 months ago
- The official repo/implementation of the paper "Training a Singing Transcription Model Using Connectionist Temporal Classification Loss an…☆13Mar 25, 2025Updated last year
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 7 months ago
- MCM 2017☆17Jan 28, 2017Updated 9 years ago
- ☆24Aug 17, 2024Updated 2 years ago
- TG-CRITIC: A TIMBRE-GUIDED MODEL FOR REFERENCE-INDEPENDENT SINGING EVALUATION☆18May 26, 2023Updated 3 years ago
- Size-Invariant Graph Representations for Graph Classification Extrapolations (ICML 2021 Long Talk)☆22Jan 26, 2023Updated 3 years ago
- Code and data for the paper: On the Reliability of Psychological Scales on Large Language Models☆31Dec 15, 2025Updated 8 months ago
- UICrit is a dataset containing human-generated natural language design critiques, corresponding bounding boxes for each critique, and des…☆28Nov 19, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- papers of distilling Graph Neural Network☆23Dec 11, 2021Updated 4 years ago
- FANcY: FAst In-Network GraY Failure Detection for ISPs☆21Aug 19, 2022Updated 3 years ago
- This repo is for our submission for ICSE 2025.☆20Jun 12, 2024Updated 2 years ago
- ☆33Jun 12, 2026Updated 2 months ago
- [UbiComp 2023 && AAMAS 2023] I Know Your Intent: Graph-enhanced Intent-aware User Device Interaction Prediction via Contrastive Learning☆15Dec 10, 2022Updated 3 years ago
- [ACL 2026] Closing the Modality Reasoning Gap for Speech Large Language Models☆18Apr 17, 2026Updated 4 months ago
- [ICLR 2026] Draw-In-Mind: Rebalancing Designer-Painter Roles in Unified Multimodal Models Benefits Image Editing☆28May 11, 2026Updated 3 months ago
- 武汉大学毕业论文 LaTeX 模版 2025☆1,342May 27, 2025Updated last year
- [ToN 2023 && IWQoS 2021] FlexNF: Flexible Network Function Orchestration for Scalable On-Path Service Chain Serving☆19Jun 8, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Code for Blog Post: Can Better Cold-Start Strategies Improve RL Training for LLMs?☆20Mar 9, 2025Updated last year
- A full Python implementation of the ROUGE metric, especially for Chinese texts processing.☆16Nov 21, 2019Updated 6 years ago
- Official repository to release the code and datasets in the paper, "Article Reranking by Memory-enhanced Key Sentence Matching for Detect…☆19Dec 15, 2021Updated 4 years ago
- We introduce the LLAMA1 Test Set, a comprehensive open-domain world knowledge QA dataset for evaluating question-answering systems. We pr…☆23Mar 14, 2024Updated 2 years ago
- ☆25Oct 10, 2019Updated 6 years ago
- The source code of the paper "Runtime Programmable Switches".☆27Apr 12, 2023Updated 3 years ago
- Adaptive Multimodal Reasoning via Reinforcement Learning☆23Jan 11, 2026Updated 7 months ago
- Implementation of "Self-Supervised Contrastive Learning for Singing Voices"☆21May 8, 2022Updated 4 years ago
- [SIGKDD 2026] ComUICoder: Component-based Reusable UI Code Generation for Complex Websites via Semantic Segmentation and Element-wise Fee…☆27Jun 2, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- TLAi+ Benchmarks☆36Feb 6, 2026Updated 6 months ago
- Timbre Transfer using Denoising Diffusion Implicit Models (ISMIR 2023)☆28Mar 22, 2025Updated last year
- Evaluating Safety of Autonomous Agents in Mobile Device Control (AAAI 2026 AI Alignment Track)☆37Jan 28, 2026Updated 6 months ago
- Framework for testing the Mininet network simulator.☆36Dec 7, 2013Updated 12 years ago
- ☆29Sep 14, 2024Updated last year
- [ACL 2026]☆28Dec 6, 2025Updated 8 months ago
- This repository presents FSD dataset for song deepfake detection.☆24Aug 18, 2025Updated last year