ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2402.00798
  4. Cited By
Formal-LLM: Integrating Formal Language and Natural Language for
  Controllable LLM-based Agents

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents

1 February 2024
Zelong Li
Wenyue Hua
Hao Wang
He Zhu
Yongfeng Zhang
    LLMAG
ArXivPDFHTML

Papers citing "Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents"

4 / 4 papers shown
Title
Generative Evaluation of Complex Reasoning in Large Language Models
Generative Evaluation of Complex Reasoning in Large Language Models
Haowei Lin
X. Wang
Ruilin Yan
Baizhou Huang
Haotian Ye
Jianhua Zhu
Zihao Wang
James Y. Zou
Jianzhu Ma
Yitao Liang
ReLM
ELM
LRM
53
0
0
03 Apr 2025
War and Peace (WarAgent): Large Language Model-based Multi-Agent
  Simulation of World Wars
War and Peace (WarAgent): Large Language Model-based Multi-Agent Simulation of World Wars
Wenyue Hua
Lizhou Fan
Lingyao Li
Kai Mei
Jianchao Ji
Yingqiang Ge
Libby Hemphill
Yongfeng Zhang
LM&Ro
LLMAG
88
42
0
28 Nov 2023
A Distributional Lens for Multi-Aspect Controllable Text Generation
A Distributional Lens for Multi-Aspect Controllable Text Generation
Yuxuan Gu
Xiaocheng Feng
Sicheng Ma
Lingyuan Zhang
Heng Gong
Bing Qin
86
28
0
06 Oct 2022
Swin2SR: SwinV2 Transformer for Compressed Image Super-Resolution and
  Restoration
Swin2SR: SwinV2 Transformer for Compressed Image Super-Resolution and Restoration
Marcos V. Conde
Ui-Jin Choi
Maxime Burchi
Radu Timofte
ViT
20
85
0
22 Sep 2022
1